An Overview of the OLI Multiparadigm Programming Language and Its Semantics

Lee and Pun outline the OLI language as an accompaniment of the OLI multiparadigm programming design methodology. The OLI language integrates the object-oriented and the logic programming paradigms with a precise and well-balanced interface so that each paradigm shares an equal and cooperating partnership in problem analysis and problem solving. An important property of OLI is that programmers can program either in one of the paradigms alone or in a mixed paradigm without sacrificing expressiveness and efficiency. In this paper, we give a formal definition of the OLI language and study its semantics both from the logical perspective and the object-oriented perspective. By viewing objects as an enrichment of the Herbrand universe, we define the declarative and operational semantics of OLI . We show that OLI’s operational semantics, a generalization of SLD-resolution, is sound and complete. From the object-oriented point of view, the logic part of OLI is simply an object with logic programs as states and methods for performing logical deduction.